Skip to content

Remove pytools.Record use in test_misc#98

Merged
inducer merged 1 commit into
inducer:mainfrom
alexfikl:remove-record
Mar 5, 2022
Merged

Remove pytools.Record use in test_misc#98
inducer merged 1 commit into
inducer:mainfrom
alexfikl:remove-record

Conversation

@alexfikl

@alexfikl alexfikl commented Mar 5, 2022

Copy link
Copy Markdown
Collaborator

No description provided.

@inducer inducer enabled auto-merge (rebase) March 5, 2022 22:48
@inducer

inducer commented Mar 5, 2022

Copy link
Copy Markdown
Owner

Thx!

@inducer inducer merged commit f796c92 into inducer:main Mar 5, 2022
@alexfikl alexfikl deleted the remove-record branch March 5, 2022 23:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants